→ Klasyczny Rachunek Zdań → Comece a aprender / Download de MP3 Flashcards

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

Klasyczny rachunek zdań