→ Klasyczny Rachunek Zdań → Bắt đầu học / Tải xuống MP3 Flashcards

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

Klasyczny rachunek zdań