→ Klasyczny Rachunek Zdań → Start Learning / Flashcards Téléchargement MP3

question		réponse
KRZ commencer à apprendre		klasyczny rachunek zdań uznanie przesłanki- uznaje wniosek sprawdza poprawność wnioskowań
stałe logiczne commencer à apprendre		nieprawda że, i, lub, jeśli ... to, wtedy i tylko wtedy
negacja ~ commencer à apprendre		nieprawda, że...
koniunkcja ^ commencer à apprendre		dwa zdania połączone spójnikiem logicznym k. dwóch zdań p i q jest prawdziwa, gdy oba są prawdziwe ^ i... \and
alternatywa √ Jest prawdziwa jeżeli przynajmniej jedno zdanie jest prawdziwe p i q, p lub q commencer à apprendre		i lub może być przemienna, łączna lub wykluczjąca
implikacja -> commencer à apprendre		jeśli jeśli p to q. p->q
równoważność potrójny znak równości commencer à apprendre		wtedy i tylko wtedy
p, q, r, s,t... commencer à apprendre		zmienne zdaniowe
człony commencer à apprendre		zdania łączone spojnikami
Poprzednik i następnik commencer à apprendre		to zdania w implikacji
amfibolia to commencer à apprendre		wyrażenie wieloznaczne (jest. błędem) p->q√r lub p^q->r

Klasyczny rachunek zdań