→ Klasyczny Rachunek Zdań → Empezar lección / Descargar tarjetas en MP3

término		definición
KRZ empezar lección		klasyczny rachunek zdań uznanie przesłanki- uznaje wniosek sprawdza poprawność wnioskowań
stałe logiczne empezar lección		nieprawda że, i, lub, jeśli ... to, wtedy i tylko wtedy
negacja ~ empezar lección		nieprawda, że...
koniunkcja ^ empezar lección		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 empezar lección		i lub może być przemienna, łączna lub wykluczjąca
implikacja -> empezar lección		jeśli jeśli p to q. p->q
równoważność potrójny znak równości empezar lección		wtedy i tylko wtedy
p, q, r, s,t... empezar lección		zmienne zdaniowe
człony empezar lección		zdania łączone spojnikami
Poprzednik i następnik empezar lección		to zdania w implikacji
amfibolia to empezar lección		wyrażenie wieloznaczne (jest. błędem) p->q√r lub p^q->r

Klasyczny rachunek zdań