Logica proposizionale e dei predicati e le principali tecniche di dimostrazione di un corso introduttivo di matematica discreta.
Informazioni su questo set
41 carte base di Matematica discreta per College. Set 2 di 3 in Matematica discreta. Inizia con «Che cos'è una proposizione?» e «Che cos'è un valore di verità?». Studialo insieme agli altri set di livello College qui sotto.
41 carte · carte base · Scritto dall'IA, controllato due volte. Modifica quello che vuoi.
- Che cos'è una proposizione?
Mostra risposta
Un enunciato dichiarativo che è vero oppure falso, ma non entrambi.
- Che cos'è un valore di verità?
Mostra risposta
La proprietà di essere vero oppure falso.
- Definisci la congiunzione (E) in logica.
Mostra risposta
L'operazione logica per cui p E q è vera solo quando sono vere sia p sia q.
- Definisci la disgiunzione (O) in logica.
Mostra risposta
L'operazione logica per cui p O q è vera quando almeno una tra p e q è vera.
- Definisci la negazione (NON) in logica.
Mostra risposta
L'operazione logica per cui NON p inverte il valore di verità di p.
- Che cos'è un enunciato condizionale?
Mostra risposta
Un enunciato p IMPLICA q, che è falso solo quando p è vera e q è falsa.
- Che cos'è un enunciato bicondizionale?
Mostra risposta
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?
Mostra risposta
L'enunciato q IMPLICA p.
- Qual è l'opposta di p IMPLICA q?
Mostra risposta
L'enunciato (NON p) IMPLICA (NON q).
- Qual è la contronominale (o contrapposta) di p IMPLICA q?
Mostra risposta
L'enunciato (NON q) IMPLICA (NON p).
- Che cos'è una tautologia?
Mostra risposta
Una proposizione vera per ogni possibile interpretazione o assegnazione di valori di verità.
- Che cos'è una contraddizione?
Mostra risposta
Una proposizione falsa per ogni possibile interpretazione o assegnazione di valori di verità.
- Che cos'è una contingenza?
Mostra risposta
Una proposizione vera per alcune interpretazioni e falsa per altre.
- Enuncia la legge di De Morgan per la congiunzione.
Mostra risposta
NON (p E q) è logicamente equivalente a (NON p) O (NON q).
- Enuncia la legge di De Morgan per la disgiunzione.
Mostra risposta
NON (p O q) è logicamente equivalente a (NON p) E (NON q).