matematyka
 ° Forum ° Rejestracja ° Szukaj °
Auto giełda ° wnętrzowe stacje transformatowe

Problem z logiki formalnej

Matma / Problem z logiki formalnej
Autor Wiadomość
Michał Szyburski

Posted: 4 Kwi 2001 21:09:53



Mam następujący problem z logiki formalnej:

korzystając z aksjomatu:

( p = (q = ~p) ) = ~p

i twierdzenia :

(t =p) = ( (t = q) = ( t = (p^q)))

udowodnić twierdzenie:

(p = q) = ( (p=~q) = ~p)

Z góry dziękuję za pomoc.

Tomasz Nienawrocki







 


Czas ładowania strony (sek.): 0.008
miniBB.net © 2001-2012 transport vesto ekonomia ultimal knizki
  • Środkowy palec jest bardzo stary
    • Jaki słynny intelektualista pokazał publicznie środkowy palec lejącemu wodę politykowi? Diogenes - Demostenesowi, 2,5 tys. lat temu, dodając: ''To wielki demagog''. Gest, którego powszechnie dziś używamy by obrażać i prowokować ma długą historię
  • Globalne ocieplenie. Ciemnieje śnieg na Grenlandii, a na Syberii ... zielono
    • Arktyczny mróz trzyma - trudno w to uwierzyć, ale w Arktyce jest coraz cieplej i bardziej zielono. National Oceanic And Atmospheric Administration (NOAA) w najnowszym raporcie dotyczącym Arktyki stwierdza, że przechodzi ona fundamentalne zmiany. W przyszłości będzie ona cieplejsza, bardziej zielona, a lód będzie utrzymywał się dużo krócej.
  • Globalne ocieplenie - fundamentalne zmiany w Arktyce
    • Ciemniejszy śnieg na Grenlandii, a na Syberii ...zielono.