in Mathematical Logic
595 views
1 vote
1 vote
valid statement.

vs.

Tautology.

please clear someone.
in Mathematical Logic
595 views

1 Answer

1 vote
1 vote
Best answer
Simply make three divisions as--->

Tautology--> having all value 1 in truth table

Contradiction --> having all values 0 in truth table

Contingency-> atleast one row having 0 value and atleast one row having 1 value
Now,
Valid = Tautology

Satisfiable= (Tautology or Contingency)

Unsatisfiable = Contradiction

Invalid = Contradiction or contingency

Using above results u would be able to get solutions to all problems related to it ('and' and 'or' --> treat them as logical connectives)

for eg.--

tautology => Satisfiable

Unsatisfiable => Contradiction....
selected by
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true