Garantie de satisfaction à 100% Disponible immédiatement après paiement En ligne et en PDF Tu n'es attaché à rien
logo-home
Tautologies and Contradictions €3,22   Ajouter au panier

Notes de cours

Tautologies and Contradictions

 18 vues  0 achat
  • Cours
  • Établissement

This lecture notes discuses very briefly tautologies and contradictions in propositional or symbolic logic.

Aperçu 1 sur 2  pages

  • 16 juillet 2021
  • 2
  • 2020/2021
  • Notes de cours
  • Nick
  • Toutes les classes
avatar-seller
Tautologies and Contradictions


In these notes, I will briefly discuss tautologies and contradictions in propositional or
symbolic logic. But please note that this is just an introductory discussion on tautologies
and contradictions as my main intention here is just to make students in logic become
familiar with the topic under investigation.

On the one hand, a tautology is defined as a propositional formula that is true under
any circumstance. In other words, a propositional expression is a tautology if and only
if for all possible assignments of truth values to its variables its truth value is always
true.

Thus, a tautology is a proposition that is always true. Consider the following example:

Either the accused is guilty or the accused is not guilty. (p)

Obviously, the proposition is a disjunction; yet both disjuncts can be represented by the
variable p. Hence, the proposition is symbolized as follows:

p v ~p

Now, in what sense that this proposition is always true? The truth table below will prove
this point.




As we can see in the truth table above, if p is true, then ~p is false; and if p is false, then
~p is true. And if we apply the rules in both inclusive and exclusive disjunction, the
result of p v ~p is always true. If we recall our discussion on inclusive and exclusive
disjunction, we learned that an inclusive disjunction is true if at least one of the
disjuncts is true; and an exclusive disjunction is true if one disjunct is true and the other
is false, or one disjunct is false and the other is true.

Hence, there is no way that p v ~p will become false. Indeed, the propositional form p v
~p is always true.

Les avantages d'acheter des résumés chez Stuvia:

Qualité garantie par les avis des clients

Qualité garantie par les avis des clients

Les clients de Stuvia ont évalués plus de 700 000 résumés. C'est comme ça que vous savez que vous achetez les meilleurs documents.

L’achat facile et rapide

L’achat facile et rapide

Vous pouvez payer rapidement avec iDeal, carte de crédit ou Stuvia-crédit pour les résumés. Il n'y a pas d'adhésion nécessaire.

Focus sur l’essentiel

Focus sur l’essentiel

Vos camarades écrivent eux-mêmes les notes d’étude, c’est pourquoi les documents sont toujours fiables et à jour. Cela garantit que vous arrivez rapidement au coeur du matériel.

Foire aux questions

Qu'est-ce que j'obtiens en achetant ce document ?

Vous obtenez un PDF, disponible immédiatement après votre achat. Le document acheté est accessible à tout moment, n'importe où et indéfiniment via votre profil.

Garantie de remboursement : comment ça marche ?

Notre garantie de satisfaction garantit que vous trouverez toujours un document d'étude qui vous convient. Vous remplissez un formulaire et notre équipe du service client s'occupe du reste.

Auprès de qui est-ce que j'achète ce résumé ?

Stuvia est une place de marché. Alors, vous n'achetez donc pas ce document chez nous, mais auprès du vendeur jeffocs. Stuvia facilite les paiements au vendeur.

Est-ce que j'aurai un abonnement?

Non, vous n'achetez ce résumé que pour €3,22. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

4.6 étoiles sur Google & Trustpilot (+1000 avis)

72841 résumés ont été vendus ces 30 derniers jours

Fondée en 2010, la référence pour acheter des résumés depuis déjà 14 ans

Commencez à vendre!
€3,22
  • (0)
  Ajouter