Klasyczny rachunek zdań

 0    11 flashcards    beatakrezolek
tải về mp3 In chơi tự kiểm tra
 
câu hỏi język polski câu trả lời język polski
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

Bạn phải đăng nhập để đăng bình luận.