Feu la taula de veritat de la proposició ¬q [(pΛq) V ~ p]?

Feu la taula de veritat de la proposició ¬q [(pΛq) V ~ p]?
Anonim

Resposta:

Mirar abaix.

Explicació:

Donat: #not p -> (p ^^ q) vv ~ p

Operadors lògics:# "no p:" no p, ~ p; "i:" ^ ^; o: vv #

Taules lògiques, negació:

#ul (| "" p | "" q | "" ~ p | "" ~ q |) # #

# "" T | "" T | "" F | "" F |

# "" T | "" F | "" F | "" T | # #

# "" F | "" T | "" T | "" F | #

# "" F | "" F | "" T | "" T |

Taules lògiques i & o:

#ul (| "" p | "" q | "" p ^^ q "" | "" qvvq "" |) #

# | "" T | "" T | "" T "" | "" T "" |

# | "" T | "" F | "" F "" | "" T "" |

# | "" F | "" T | "" F "" | "" T "" |

# | "" F | "" F | "" F "" | "" F "" |

Taules lògiques, si llavors:

#ul (| "" p | "" q | "" p-> q "" |) #

# | "" T | "" T | "" T "" | # #

# | "" T | "" F | "" F "" | #

# | "" F | "" T | "" T "" | #

# | "" F | "" F | "" T "" | #

Proposició de la lògica donada part 1:

#ul (| "" p ^^ q "" | "" ~ p "" | "" (p ^^ q) vv ~ p |) #

# | "" T "" | "" "F" "|" "T" "|

# | "" F "" | "" F "" | "" F "" |

# | "" F "" | "" T "" | "" T "" |

# | "" F "" | "" T "" | "" T "" |

Proposició de la lògica donada part 2:

#ul (| "" ~ q "" | "" (p ^^ q) vv ~ p | "" ~ q -> (p ^^ q) vv ~ p |) #

# | "" F "" | "" T "" | "" T "" |

# | "" T "" | "" "F" "|" "F" "|

# | "" F "" | "" T "" | "" T "" |

# | "" T "" | "" T "" | "" T "" |