Prawa logiczne. Wielowartościowy rachunek zdań
Zgłoś uwagę
UWAGA: Po wysłaniu zgłoszenia, otrzymasz wiadomość mailową z prośbą o jego potwierdzenie.
Prawa logiczne. Wielowartościowy rachunek zdań
Prawa logiczne. Wielowartościowy rachunek zdań | |
Notacja prawa | Objaśnienie |
p → p* | „jeżeli p, to możliwe jest, że p” |
p+ → p* | „jeżeli konieczne jest, że p, to możliwe jest, że p” |
p– → ˜p | „jeżeli niemożliwe jest, że p, to nieprawda, że p” |
p* ≡ (˜p → p) | „możliwe jest, że p, wtedy i tylko wtedy, gdy jeżeli nie p, to p” (twierdzenie Tarskiego) |
p+ ≡ ˜(p → ˜p) | „konieczne jest, że p, wtedy i tylko wtedy, jeżeli nieprawda, że jeżeli p, to nie p”. |
zgłoś uwagę