Logica proposizionale e dei predicati e le principali tecniche di dimostrazione di un corso introduttivo di matematica discreta.
41 cards · basic cards · AI-written, checked twice. Edit anything.
- Che cos'è una proposizione?
Show answer
Un enunciato dichiarativo che è vero oppure falso, ma non entrambi.- Che cos'è un valore di verità?
Show answer
La proprietà di essere vero oppure falso.- Definisci la congiunzione (E) in logica.
Show answer
L'operazione logica per cui p E q è vera solo quando sono vere sia p sia q.- Definisci la disgiunzione (O) in logica.
Show answer
L'operazione logica per cui p O q è vera quando almeno una tra p e q è vera.- Definisci la negazione (NON) in logica.
Show answer
L'operazione logica per cui NON p inverte il valore di verità di p.- Che cos'è un enunciato condizionale?
Show answer
Un enunciato p IMPLICA q, che è falso solo quando p è vera e q è falsa.- Che cos'è un enunciato bicondizionale?
Show answer
Un enunciato p se e solo se q (p SSE q), vero quando p e q hanno lo stesso valore di verità.- Qual è l'inversa (o reciproca) di p IMPLICA q?
Show answer
L'enunciato q IMPLICA p.- Qual è l'opposta di p IMPLICA q?
Show answer
L'enunciato (NON p) IMPLICA (NON q).- Qual è la contronominale (o contrapposta) di p IMPLICA q?
Show answer
L'enunciato (NON q) IMPLICA (NON p).- Che cos'è una tautologia?
Show answer
Una proposizione vera per ogni possibile interpretazione o assegnazione di valori di verità.- Che cos'è una contraddizione?
Show answer
Una proposizione falsa per ogni possibile interpretazione o assegnazione di valori di verità.- Che cos'è una contingenza?
Show answer
Una proposizione vera per alcune interpretazioni e falsa per altre.- Enuncia la legge di De Morgan per la congiunzione.
Show answer
NON (p E q) è logicamente equivalente a (NON p) O (NON q).- Enuncia la legge di De Morgan per la disgiunzione.
Show answer
NON (p O q) è logicamente equivalente a (NON p) E (NON q).
FlashKeepers